Câu ví dụ
- Các định lý của toán học có thể được bắt nguồn từ các tiên đề logic thông qua suy luận logic thuần túy.
- Để xác định bản chất của vô cực, các nhà toán học phải đối mặt với sự lựa chọn giữa hai tiên đề logic mới.
- Theo các nhà nghiên cứu, việc lựa chọn giữa các ứng cử viên tập trung vào một câu hỏi về mục đích của các tiên đề logic và bản chất của toán học.
